Nuprl Definition : es-LnkTag-deq
0,22
postcript
pdf
es-LnkTag-deq == product-deq(IdLnk;Id;IdLnkDeq;IdDeq)
latex
Definitions
IdDeq
,
IdLnkDeq
,
Id
,
IdLnk
,
product-deq(
A
;
B
;
a
;
b
)
FDL editor aliases
es-LnkTag-deq
origin